<html>
<head><meta charset="utf-8"><title>To ping or not to ping · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html">To ping or not to ping</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200678506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200678506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200678506">(Jun 12 2020 at 14:41)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> we were having this discussion in another thread - so let's decideit here. </p>
<p>Do you want to be pinged here on every issue being requested? <br>
if yes react with <span aria-label="check" class="emoji emoji-2705" role="img" title="check">:check:</span>  (this is the behaviour we followed all these weeks)<br>
if no react with <span aria-label="cross mark" class="emoji emoji-274c" role="img" title="cross mark">:cross_mark:</span> </p>
<p>If some people wish to be pinged, we will leave it at that. <br>
Other suggestions are welcome as well</p>



<a name="200678603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200678603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200678603">(Jun 12 2020 at 14:42)</a>:</h4>
<p>I think it's been helpful getting stuff prioritized but I'm not opposed to turning it off.</p>



<a name="200679192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200679192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200679192">(Jun 12 2020 at 14:46)</a>:</h4>
<p>I have terrible schedules these days, being pinged helps me hop into an issue when I have a moment</p>



<a name="200679354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200679354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200679354">(Jun 12 2020 at 14:48)</a>:</h4>
<p>alright, it seems like we want the pings then :)</p>



<a name="200679410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200679410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200679410">(Jun 12 2020 at 14:48)</a>:</h4>
<p>let's continue doing so</p>



<a name="200707980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200707980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200707980">(Jun 12 2020 at 18:36)</a>:</h4>
<p>btw, you may have realized that I don't follow the process really in an async way</p>



<a name="200708012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200708012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200708012">(Jun 12 2020 at 18:36)</a>:</h4>
<p>I meant, I mainly set some time apart and go over all the pending stuff at once</p>



<a name="200708016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200708016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200708016">(Jun 12 2020 at 18:37)</a>:</h4>
<p>I find that more productive for me :)</p>



<a name="200708063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/To%20ping%20or%20not%20to%20ping/near/200708063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/To.20ping.20or.20not.20to.20ping.html#200708063">(Jun 12 2020 at 18:37)</a>:</h4>
<p>anyway feel free to ping me on things I could be of help</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>